f5b59ae3cb6614110d68f1cf18a5ee269270dd06,core/typesystemEngine/source/jetbrains/mps/newTypesystem/state/Equations.java,Equations,addEquation,#SNode#SNode#EquationInfo#,106
Before Change
if (lRepresentative == null || rRepresentative == null || lRepresentative.equals(rRepresentative)) {
return;
}
if (TypesUtil.isVariable(lRepresentative) || TypesUtil.isVariable(rRepresentative)) {
processEquation(lRepresentative, rRepresentative, info);
return;
}
After Change
if (lRepresentative == null || rRepresentative == null || lRepresentative.equals(rRepresentative)) {
return;
}
if (TypesUtil.isVariable(lRepresentative)) {
processEquation(lRepresentative, rRepresentative, info);
return;
}
if (TypesUtil.isVariable(rRepresentative)) {
processEquation(rRepresentative, lRepresentative, info);
return;
}
if (!compareTypes(lRepresentative, rRepresentative, info)) {
myState.getNodeMaps().reportEquationBroken(info, lRepresentative, rRepresentative);
}